Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles : Ingénierie à base de modèles = Supporting a Multi-Formalism Model Driven Development Process with Model Transformation, a TOPCASED ImplementationDUMAS, Xavier; GABEL, Sébastien; HONORE, Julien et al.REE. Revue de l'électricité et de l'électronique. 2009, Num 2, issn 1265-6534, 45-51, 62 [8 p.]Article

Specifying distributed computer architectures in AADLDAMM, W; DÖHMEN, G.Parallel computing. 1988, Vol 9, Num 2, pp 193-211, issn 0167-8191Conference Paper

Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG = Dependability modeling based on AADL and GSPNRUGINA, Ana-Elena; KANOUN, Karama; KAANICHE, Mohamed et al.TSI. Technique et science informatiques. 2009, Vol 28, Num 1, pp 7-37, issn 0752-4072, 31 p.Article

Energy and Power Consumption Estimation for Embedded Applications and Operating SystemsDHOUIB, Saadia; SENN, Eric; DIGUET, Jean-Philippe et al.Journal of low power electronics (Print). 2009, Vol 5, Num 4, pp 416-428, issn 1546-1998, 13 p.Article

MARTE & AADL: Mise en correspondance des conceptsRIOUX, Laurent; FAUGERE, Madeleine.Génie logiciel (1995). 2011, Num 97, pp 4-8, issn 1265-1397, 5 p.Conference Paper

Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychroneYUE MA; GAUTIER, Thierry; TALPIN, Jean-Pierre et al.Journal européen des systèmes automatisés. 2011, Vol 45, Num 1-3, pp 61-76, issn 1269-6935, 16 p.Conference Paper

Towards formalising installation and reconfiguration tasks of AADL architectureBENLAHRACHE, Nadira; BELALA, Faiza.International journal of communication networks and distributed systems (Print). 2013, Vol 11, Num 4, pp 431-452, issn 1754-3916, 22 p.Article

Implémentation orientée objet d'ABAReL en Maude = Object oriented implementation ofABAReL in MaudeBENAMMAR, Malika; BELALA, Faiza; BARKAOUI, Kamel et al.TSI. Technique et science informatiques. 2011, Vol 30, Num 6, pp 741-767, issn 0752-4072, 27 p.Article

RDAL: Un nouveau langage pour la définition et la vérification d'exigences pour AADL et d'autres langages de description d'architecture de systèmes embarquésBLOUIN, Dominique; SENN, Eric; TURKI, Skander et al.Génie logiciel (1995). 2011, Num 97, issn 1265-1397, 22-28, 64 [8 p.]Conference Paper

Validation des spécifications et de l'implémentation avec la plate-forme TASTEDELANGE, Julien; PERROTIN, Maxime.Génie logiciel (1995). 2011, Num 97, pp 16-21, issn 1265-1397, 6 p.Conference Paper

Définition d'une famille de patrons de transformation pour l'analyse de modèles AADLRENAULT, Xavier; HUGUES, Jérôme.Génie logiciel (1995). 2010, Num 93, issn 1265-1397, 11-15, 37 [6 p.]Conference Paper

Mise en œuvre de l'IDM pour la conception de systèmes embarqués: premiers résultats et perspectives du projet LambdaDEMATHIEU, Sébastien; BERNARD, Yves; MAILLET-CONTOZ, Laurent et al.Génie logiciel (1995). 2010, Num 93, issn 1265-1397, 38-42, 48 [6 p.]Conference Paper

Modélisation de la sûreté de fonctionnement avec AADL : un langage standardisé de description d'architectures = Dependability Modeling Using AADL : An Industry-Standard Architecture Description LanguageRUGINA, Ana-Elena; FEILER, Peter H; KANOUN, Karama et al.REE. Revue de l'électricité et de l'électronique. 2009, Num 3, issn 1265-6534, 62, 81-87 [8 p.]Article

MyCCM-HI: un framework à composants mettant en œuvre une approche d'ingénierie dirigée par les modèlesBORDE, Etienne; GILLIERS, Frédéric; HAÏK, Grégory et al.Génie logiciel (1995). 2009, Num 90, pp 6-12, issn 1265-1397, 7 p.Article

Un Processus d'Ingénierie de Cheddar pour la Simulation de Systèmes Temps Réel à Grande ÉchellePLANTEC, Alain; SINGHOFF, Frank.Génie logiciel (1995). 2007, Num 83, pp 26-35, issn 1265-1397, 10 p.Article

La modélisation d'architectures temps réel en AADLDISSAUX, Pierre; NANA, Laurent.Génie logiciel (1995). 2007, Num 81, pp 49-55, issn 1265-1397, 7 p.Conference Paper

Multi-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL : Ingénierie à la base de modèles : 2e partie, suite du Dossier REE n 2 2009LEWIS, Bruce; FEILER, Peter H.REE. Revue de l'électricité et de l'électronique. 2009, Num 3, issn 1265-6534, 61-62, 73-80 [10 p.]Article

Spacecraft early design validation using formal methodsBOZZANO, Marco; CIMATTI, Alessandro; KATOEN, Joost-Pieter et al.Reliability engineering & systems safety. 2014, Vol 132, pp 20-35, issn 0951-8320, 16 p.Article